Log-normal Distribution Mean Proof